Principles in Formal Specification
نویسندگان
چکیده
class Decorator { abstract void Draw();void Draw();
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملEvaluating Visualization In Formal Requirements Specification: An Experiment With Human Subjects
Software used onboard aerospace systems is becoming more and more complex as its functionality expands; moreover, much of it is safety-critical. In that context, the requirements specification phase of the development becomes critically important for the success of a project and the safety of the system in operation. Formal methods have the potential to solve many of the problems encountered wh...
متن کاملOn the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple visualizations generated from a common model will improve the requirements creation, reviewing and understanding process. Visual representations, when effective, provide cognitive support by highlighting the most relevant...
متن کاملEnhancing the established strategy for constructing a Z specification
The Established Strategy for drawing up a Z specification document focuses on a more abstract activity of specification, namely, how to combine schemas but is largely silent about how to construct a schema. Schema construction may benefit from the application of certain heuristics for establishing its content. While formal specification can be seen as a subsection of software engineering and de...
متن کاملA Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language
-In this paper a method for generating HDL code from SIGNAL formal specifications, is described. Applying two transformations on the initial specification yields functionally equivalent RTL HDL code. The functional equivalence is formally proven. The methodology allows component re-usability and enables the validation of their integration at the specification level. We anticipate that the princ...
متن کامل